Formal systems - PDFSEARCH.IO - Document Search Engine

Formal systems
Results: 1365

#	Item
901	Mathematically Verified Software Kernels: Raising the Bar for High Assurance Implementations Dr Daniel Potts, VP of Engineering, General Dynamics C4 Systems Rene Bourquin, Member Technical Staff, General Dynamics C4 Syst Add to Reading List Source URL: sel4.org Language: English - Date: 2014-07-28 22:03:39 Evaluation Trusted computing base Microkernel L4 microkernel family Real-time operating systems Gernot Heiser Formal verification Isabelle Formal methods Computer security Computer architecture Computing
902	International Journal of Parallel, Emergent and Distributed Systems Journal of Add to Reading List Source URL: www.tandf.co.uk Language: English - Date: 2010-07-19 06:46:11 Systems Systems science Knowledge Formal sciences Control theory Complex systems Guillermo Simari Simulation Robert Trappl Science Systems theory Cybernetics
903	Strong Objectives: How to Write Aligned, Specific and Measurable Statements Overview Why focus on writing strong objectives? Objectives refer to a description of observable student knowledge and/or performance. The stron Add to Reading List Source URL: tn.gov Language: English - Date: 2014-05-23 17:18:56 Formal methods Science Systems engineering process Software development process Knowledge Pedagogy Methodology Systems engineering Education
904	Strong Objectives: How to Write Aligned, Specific and Measurable Statements Overview Why focus on writing strong objectives? Objectives refer to a description of observable student knowledge and/or performance. The stron Add to Reading List Source URL: tennessee.gov Language: English - Date: 2014-05-23 17:18:56 Formal methods Science Systems engineering process Software development process Knowledge Pedagogy Methodology Systems engineering Education
905	7th International ERCIM Workshop on Formal Methods for Industrial Critical Systems Add to Reading List Source URL: fmics.inria.fr Language: English - Date: 2002-06-24 05:00:37 Science Model checking Software Model checkers Verification and validation PRISM model checker Abstraction Formal verification Formal methods Software development Software testing
906	Reinitiation of the Endangered Species Act Section 7 Formal Programmatic Consultation Add to Reading List Source URL: www.blm.gov Language: English - Date: 2011-06-14 23:26:03 Conservation in the United States Conservation Habitats Endangered Species Act United States Fish and Wildlife Service Salmon SPAWN Riparian zone National Marine Fisheries Service Environment Ecology Systems ecology
907	Successful Tax Solution Implementation: Key Questions to Ask Your Solution Provider Introduction Selecting the right tax software for your organization can take time. There are several steps involved, including creating Add to Reading List Source URL: www.cchintegrator.com Language: English - Date: 2013-05-21 14:58:45 Software Accounting software CCH Wolters Kluwer Software development process Workflow Transition methodology Systems engineering process Project management Software development Business Formal methods
908	Regular Paper The ROI of Systems Engineering: Some Quantitative Results for Software-Intensive Systems Add to Reading List Source URL: sunset.usc.edu Language: English - Date: 2008-04-16 19:36:50 Software project management Software development process Formal methods Systems engineering COCOMO Barry Boehm COSYSMO MBASE Spiral model Software development Project management Software
909	Democratizing Data Science Effecting positive social change with data science Sophie Chou∗ William Li∗ Add to Reading List Source URL: projects.sophiechou.com Language: English - Date: 2014-08-27 11:04:56 Database management systems Database theory Information technology management Data analysis Emerging technologies Data mining Open data Big data Computer science Data management Technology Formal sciences
910	Package ‘LindenmayeR’ August 12, 2014 Type Package Title Functions to Explore L-Systems (Lindenmayer Systems) Version[removed]Date[removed] Add to Reading List Source URL: cran.r-project.org Language: English - Date: 2014-08-12 17:08:08 Computing L-system Mathematics Software engineering Koch snowflake Turtle graphics String Null INP Formal languages Fractal curves Fractals

UPDATE